|
|
| | Tuesday, June 11, 2002, 2:00 PM - 4:00 PM | Room: 288
|
 |
SESSION 9
|
| | High Level Specification and Design
|
| | Chair: Andreas Kanstein - Motorola, Inc., Austin, TX
|
| | Organizers: Limor Fix, Shin-ichi Minato
|
| | With increasing design complexity, different technologies have been developed to bridge the gap between the amount of logic that can be put on a chip and the design and verification effort necessary to build such a chip. In the session, C-based design methodology is presented. High level specification is used for generation of IP monitors, for designing pipeline control and for constraining the design envionment.
|
| |  9.1 |
RTL C-Based Methodology for Designing and Verifying a Multi-Threaded Processor
|
| | | Speaker(s): | Luc Semeria - Synopsys, inc., Mountain View, CA
|
| | | Author(s): | Luc Semeria - Synopsys, Inc., Mountain View, CA
Andrew Seawright - 0-In Design Automation, Inc., San Jose, CA
Renu Mehra - Synopsys, Inc., Mountain View, CA
Daniel Ng - Broadcom, Inc., San Jose, CA
Arjuna Ekanayake - , CA
Barry Pangrle - Synopsys, Inc., Mountain View, CA
|
| | 9.2 |
High-Level Specification and Automatic Generation of IP Interface Monitors |
| | Speaker(s): | Marcio T. Oliveira - Univ. of British Columbia, Vancouver, BC
|
| | Author(s): | Marcio T. Oliveira - Univ. of British Columbia, Vancouver, BC
Alan J. Hu - Univ. of British Columbia, Vancouver, BC
|
| | 9.3 |
Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic |
| | Speaker(s): | Kerstin I. Eder - Univ. of Bristol, Bristol, Great Britain
|
| | Author(s): | Kerstin I. Eder - Univ. of Bristol, Bristol, Great Britain
Geoff Barrett - Broadcom Corp., Bristol, Great Britain
|
| | 9.4 |
Formal Verification of Module Interfaces Against Real Time Specifications |
| | Speaker(s): | Pallab Dasgupta - Indian Institute of Tech., Kharagpur, India
|
| | Author(s): | Arindam Chakrabarti - Univ. of California, Berkeley, CA
Pallab Dasgupta - Indian Institute of Tech., Kharagpur, India
Partha P. Chakrabarti - Indian Institute of Tech., Kharagpur, India
Ansuman Banerjee - Indian Institute of Tech., Kharagpur, India
|
 |
|